<?php

class Empleado extends BaseEmpleado
{
}
